A localization theorem in homological algebra
نویسنده
چکیده
Introduction. In (l), J. F. Adams showed that for p odd, the Adams 2? 2-term for a sphere, Ext5*(F p , F p), is zero for s < t < (2p-l)s-l, while Ext^ s (Fj,, F p) is the one-dimensional vector space generated by ql, where g
منابع مشابه
Chromatic Phenomena in the Algebra of Bp∗bp -comodules
We describe the author’s research with Neil Strickland on the global algebra and global homological algebra of the category of BP∗BP comodules. We show, following [HS02a], that the category of E(n)∗E(n)comodules is a localization, in the abelian sense, of the category of BP∗BP comodules. This gives analogues of the usual structure theorems, such as the Landweber filtration theorem, for E(n)∗E(n...
متن کاملHomological Properties of Balanced Cohen-macaulay Algebras
A balanced Cohen-Macaulay algebra is a connected algebra A having a balanced dualizing complex ωA[d] in the sense of Yekutieli (1992) for some integer d and some graded A-A bimodule ωA. We study some homological properties of a balanced Cohen-Macaulay algebra. In particular, we will prove the following theorem: Theorem 0.1. Let A be a Noetherian balanced Cohen-Macaulay algebra, and M a nonzero ...
متن کاملThe Frobenius endomorphism and homological dimensions
In 1969 Kunz [Ku] proved a fundamental result, connecting the regularity of a local ring of positive characteristic with the flatness of its Frobenius endomorphism φ. This was a first indication of the important role that φ would play in homological commutative algebra, especially in reflecting basic homological properties of the ring. Some results in Peskine and Szpiro’s groundbreaking thesis,...
متن کاملMechanized reasoning in Homological Algebra
We face the problem of obtaining a certified version of a crucial algorithm in the field of Homological Algebra, known as “Perturbation Lemma”. This lemma is intensively used in the software system “Kenzo”, devoted to symbolic computation in Homological Algebra. To this end, we use the proof assistant “Isabelle”. Our main motivations are to increase the knowledge in the algorithmic nature of th...
متن کاملFour Approaches to Automated Reasoning with Differential Algebraic Structures
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation of algebraic structures, partial functions in a logic of total functions, or the level of abstraction in formal proofs. Different approaches aiming at solving these problems will be evaluated and classified according t...
متن کامل